Filet-o-Fish: practical and dependable domain-specific languages for OS development Pierre-Evariste Dagand

Source URL: www.barrelfish.org

• Compiler construction
• Theoretical computer science
• Logic in computer science
• Formal methods
• Procedural programming languages
• Domain-specific language
• Compiler
• QuickCheck
• C
• Computing
• Software engineering
• Software